The Formal Requirements Engineering of Manufacturing Systems

Deening an Ontology for the Formal Requirements Engineering of Manufacturing Systems

Layout Design of a Furniture Production Line Using Formal Methods

This paper experiments application of different heuristic approaches to a real facility layout problem at a furniture manufacturing company. All the models are compared using AHP, where a number of parameters of interest are employed. The experiment shows that formal layout modelling approaches can be effectively used real problems faced in industry, leading to significant improvements.

Using a Formal Declarative Language for Specifying Requirements Modelled in CIMOSA

Requirements Engineering is more and more considered as a central phase in the development and implementation of computer systems. Within the context of CIM, the CIMOSA project proposes a set of models based on adequate concepts for expressing requirements. In this paper, we suggest how these models can be supported by the use of a fully formal requirements specification language called ALBERT ...

Elicitating and Formalising Requirements for C.I.M. Information Systems

It is now widely recognised that methods are needed for covering the whole lifecycle of Computer Integrated Manufacturing (CIM) applications. In this paper, we deal with the requirements engineering phase of this lifecycle. A formal language is introduced for capturing real-time requirements expressed on CIM applications. The resulting specification is structured as a society of ‘agents’, each ...

System Engineering Implementation Process for Super-Systems

System engineering is one of the most powerful tools for comprehensive project management and control. This tool emphasized the life cycle of the projects, manages every single activity and helps manage the main elements of the project through a set of management and engineering processes. The goal of the current study is to use a system engineering approach in design phase in order or to meet ...